Linear temporal logic - PDFSEARCH.IO - Document Search Engine

Linear temporal logic
Results: 458

#	Item
71	Commun. Math. PhysDigital Object Identifier (DOIs00220x Communications in Mathematical Add to Reading List Source URL: math.rutgers.edu Language: English - Date: 2006-07-03 13:32:23 Mathematical analysis Operator theory Physics Theoretical physics Quantum mechanics Operator Distribution Probability current Constructible universe De BroglieBohm theory Linear temporal logic Spectral theory of ordinary differential equations
72	A 3-Valued Logic for the Specification and the Verification of Security Properties ´chir Ktari Be Add to Reading List Source URL: www.qatar.cmu.edu Language: English - Date: 2004-12-05 23:21:27 Linear temporal logic Temporal logic
73	Coala: A Compiler from Action Languages to ASP Martin Gebser, Torsten Grote, and Torsten Schaub? Universit¨at Potsdam, Institut f¨ur Informatik, August-Bebel-Str. 89, DPotsdam Abstract. Action languages allow fo Add to Reading List Source URL: www.cs.uni-potsdam.de Language: English - Date: 2010-07-23 11:18:02 Logic programming Answer set programming ASCII Coala Linear temporal logic Stable model semantics
74	On the Use of Planning Technology for Verification Aws Albarghouthi Jorge A. Baier Sheila A. McIlraith Add to Reading List Source URL: www-vvps09.imag.fr Language: English - Date: 2009-08-25 03:10:48 Logic Mathematical logic Theoretical computer science Temporal logic Model checkers Linear temporal logic NuSMV Model checking Concurrency Finite model theory Planning Domain Definition Language SMV
75	Electronic Notes in Theoretical Computer ScienceURL: http://www.elsevier.nl/locate/entcs/volume83.html 32 pages Secure Protocol Composition Anupam Datta 1 Ante Derek 1 John C. Mitchell 1 Computer Science Depar Add to Reading List Source URL: seclab.stanford.edu Language: English - Date: 2010-07-17 01:14:12 Logic Mathematics Abstraction Formal languages Mathematical logic Linear temporal logic Temporal logic Automated theorem proving Propositional calculus Substitution IP Interpretation
76	LTL Linear Time Temporal Logic Kripke Structure • K = 〈S, R, L〉 S: set of states (may be infinite) Add to Reading List Source URL: hagi.is.s.u-tokyo.ac.jp Language: English - Date: 2011-10-30 22:46:01
77	Policy Auditing over Incomplete Logs: Theory, Implementation and Applications Deepak Garg Limin Jia Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-02-12 12:31:57 Logic Mathematical logic Model theory Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Symbol First-order logic Linear temporal logic FO
78	On properties of logical sentences with arbitrary monadic predicates 1 Nathana¨el Fijalkow and Charles Paperman LIAFA Universit´ e Paris Diderot Add to Reading List Source URL: highlights-conference.org Language: English - Date: 2013-09-18 06:36:01 Formal languages FO Finite model theory Regular language Second-order logic Mathematical logic Linear temporal logic
79	PDF Document Add to Reading List Source URL: fmv.jku.at Language: English - Date: 2012-07-12 06:13:15 Computing Computer memory Electronic engineering Flip-flop Software engineering Linear temporal logic Const Justice PLY Technology
80	On Finite Domains in First-Order Linear Temporal Logic? Julien Brunel1 , David Chemouil1 , and Denis Kuperberg1,2 1 2 Add to Reading List Source URL: www.cs.swansea.ac.uk Language: English - Date: 2015-06-30 19:27:23

UPDATE